inp=open('all.in').read().split('\n')
out=open('all.out').read().split()
for case in zip(inp,out):
	n,k=map(int,case[0].split())
	print "case",n*1000+k,": return",str(case[1])+";"

